Home Schedule My feed About



Image height

Home Schedule Tags

 Desks

All FINANCE IT GAME ENTERTAINMENT CAR WORLD SPORTS GENERAL Others

 My pages

 Tags · across all desks

Leanstral 1.5

2 past items · timeline  See this tag's schedule

Related tags Lean 4Mistral AI

 Entities under this tag





Mistralが自動定理証明向けAI「Leanstral 1.5」リリース、Lean 4の証明作業を支援

はてなブックマーク - 人気エントリー - テクノロジー 07-01 20:35



Leanstral 1.5

Hacker News 07-01 05:44

— no more —

Summaries are AI-generated and may be wrong — check the original.

Home Schedule My feed